A Slotted Hash Cons for Alpha Invariance
philipzucker.com·2h·
Discuss: Hacker News
🔗Lexical Scoping
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·4h
💫Effect Systems
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
arxiv.org·17h
🔍ML Language
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·23h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·17h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Day 12 of My Quantum Computing Journey: Where Quantum Meets Classical Reality
dev.to·38m·
Discuss: DEV
💫Effect Systems
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
Essay of the week/ Jonathan Franzen: Wait-and-see
gazetaexpress.com·5h
📚Factor
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.com·3h
📚Factor
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·6h·
Discuss: Hacker News
📚Self-Documenting Code
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Algebraic Types are not Scary
blog.aiono.dev·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
The Big Idea: Ian Randal Strock
whatever.scalzi.com·4h
📚Factor
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.com·15h·
Discuss: www.blogger.com
📐Mathematical Computing
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·5d
🔗Category Theory